The Abelianization of the Johnson Kernel
نویسندگان
چکیده
We prove that the first complex homology of the Johnson subgroup of the Torelli group Tg is a non-trivial, unipotent Tg-module for all g ≥ 4 and give an explicit presentation of it as a Sym • H1(Tg,C)-module when g ≥ 6. We do this by proving that, for a finitely generated group G satisfying an assumption close to formality, the triviality of the restricted characteristic variety implies that the first homology of its Johnson kernel K is a nilpotent module over the corresponding Laurent polynomial ring, isomorphic to the infinitesimal Alexander invariant of the associated graded Lie algebra of G. In this setup, we also obtain a precise nilpotence test.
منابع مشابه
The Johnson homomorphism and its kernel
We give a new proof of a celebrated theorem of Dennis Johnson that asserts that the kernel of the Johnson homomorphism on the Torelli subgroup of the mapping class group is generated by separating twists. In fact, we prove a more general result that also applies to “subsurface Torelli groups”. Using this, we extend Johnson’s calculation of the rational abelianization of the Torelli group not on...
متن کاملA Birman exact sequence for AutpFnq
The Birman exact sequence describes the effect on the mapping class group of a surface with boundary of gluing discs to the boundary components. We construct an analogous exact sequence for the automorphism group of a free group. For the mapping class group, the kernel of the Birman exact sequence is a surface braid group. We prove that in the context of the automorphism group of a free group, ...
متن کاملOn Finiteness Properties of the Johnson Filtrations
Let Γ denote either the automorphism group of the free group of rank n ≥ 4 or the mapping class group of an orientable surface of genus n ≥ 12 with 1 boundary component, and let G be either the subgroup of IA-automorphisms or the Torelli subgroup of Γ, respectively. We prove that any subgroup of G containing [G,G] (in particular, the Johnson kernel in the mapping class group case) is finitely g...
متن کاملThe Kernel of the Magnus Representation of the Automorphism Group of a Free Group Is Not Finitely Generated
In this paper, we show that the abelianization of the kernel of the Magnus representation of the automorphism group of a free group is not finitely generated.
متن کاملFirst Cohomology Groups of the Automorphism Group of a Free Group with Coefficients in the Abelianization of the Ia-automorphism Group
We compute a twisted first cohomology group of the automorphism group of a free group with coefficients in the abelianization V of the IA-automorphism group of a free group. In particular, we show that it is generated by two crossed homomorphisms constructed with the Magnus representation and the Magnus expansion due to Morita and Kawazumi respectively. As a corollary, we see that the first Joh...
متن کامل